\begin{nusmvCommand}{print\_fair\_states} {Prints out the number of fair states}

\cmdLine{print\_fair\_states [-h] [-v]}

Prints the number of fair states of the given model. In verbose mode,
prints also the list of all fair states.

\end{nusmvCommand}
